type Bytes native  // []byte

/// encodes string into UTF-8 byte sequence
public function
    EncodeUtf8 { string String } Bytes
    native('__EncodeUtf8')

/// decodes string from UTF-8 byte sequence
public function
    DecodeUtf8 { data Bytes } Maybe[String]
    native('__DecodeUtf8')

/// decodes string from UTF-8 byte sequence (outputs \uFFFD on error)
public function
    DecodeUtf8! { data Bytes } String
    native('__DecodeUtf8Casual')


